166 research outputs found

    https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/system-predictor-grounding-size-estimator-for-logic-programs-under-answer-set-semantics/9EE3D47F0DCDA77E39328E53B0816CD9#:~:text=System%20Predictor%3A%20Grounding%20Size%20Estimator%20for%20Logic%20Programs%20under%20Answer%20Set%20Semantics

    Get PDF
    Answer set programming is a declarative logic programming paradigm geared towards solving difficult combinatorial search problems. While different logic programs can encode the same problem, their performance may vary significantly. It is not always easy to identify which version of the program performs the best. We present the system PREDICTOR (and its algorithmic backend) for estimating the grounding size of programs, a metric that can influence a performance of a system processing a program. We evaluate the impact of PREDICTOR when used as a guide for rewritings produced by the answer set programming rewriting tools PROJECTOR and LPOPT. The results demonstrate potential to this approach

    The demographics of pain after spinal cord injury: a survey of our model system.

    Get PDF
    STUDY DESIGN: Survey OBJECTIVES: Better understand the demographics of pain after spinal cord injury (SCI). SETTING: Academic Level 1 trauma center and SCI Model System. METHODS: A survey including general demographic questions, questions of specific interest to the authors, the standardized SCI Pain Instrument (SCIPI), International SCI Pain Data Set, Basic form (ISCIPDS:B), Patient Reported Outcomes Measurement Information System (PROMIS) neuropathic 5a (PROMIS-Neur), and PROMIS nociceptive 5a (PROMIS-No). RESULTS: 81% of individuals with SCI experience chronic pain and 86% of individuals with pain have neuropathic pain. 55% of individuals had shoulder pain. Females and those who recall \u3e5/10 pain during initial hospital stay had significantly higher PROMIS-Neur scores. Completeness of injury correlates inversely with the degree of neuropathic pain. Those who recall \u3e5 pain during the initial hospital stay and those who reported the worst or second worst pain as being shoulder pain had significantly higher PROMIS-No scores. Lumbosacral injuries trended towards higher PROMIS-No scores and had the highest PROMIS-Neur scores. Those with tetraplegia were more likely to develop shoulder pain and those with shoulder pain had higher PROMIS-No scores. CONCLUSIONS: Chronic pain is almost universal in patients with SCI. Pain is more commonly reported as neuropathic in nature and females reported more neuropathic pain than males. Physicians should monitor for nociceptive shoulder pain, particularly in those with tetraplegia. Patients with incomplete injuries or lumbosacral injuries are more likely to report higher levels of neuropathic pain and pain levels should be monitored closely. Those with more neuropathic and nociceptive pain recall worse pain at initial hospitalization. Better understanding pain demographics in this population help screen, prevent and manage chronic pain in these patients

    Temporal resolution of a pre-maximum halt in a Classical Nova: V5589 Sgr observed with STEREO HI-1B

    Get PDF
    Classical novae show a rapid rise in optical brightness over a few hours. Until recently the rise phase, particularly the phenomenon of a pre-maximum halt, was observed sporadically. Solar observation satellites observing Coronal Mass Ejections enable us to observe the pre-maximum phase in un- precedented temporal resolution. We present observations of V5589 Sgr with STEREO HI-1B at a cadence of 40 min, the highest to date. We temporally resolve a pre-maximum halt for the first time, with two examples each rising over 40 min then declining within 80 min. Comparison with a grid of outburst models suggests this double peak, and the overall rise timescale, are consistent with a white dwarf mass, central temperature and accretion rate close to 1.0 M⊙, 5 × 107 K and 10−10 M⊙ yr−1 respectively. The modelling formally predicts mass loss onset at JD 2456038.2391±0.0139, 12 hrs before optical maximum. The model assumes a main–sequence donor. Observational evidence is for a subgiant companion; meaning the accretion rate is under–estimated. Post–maximum we see erratic variations commonly associated with much slower novae. Estimating the decline rate difficult, but we place the time to decline two magnitudes as 2.1 < t2(days) < 3.9 making V5589 Sgr a “very fast” nova. The brightest point defines “day 0” as JD 2456038.8224±0.0139, although at this high cadence the meaning of the observed maximum becomes difficult to define. We suggest that such erratic variability normally goes undetected in faster novae due to the low cadence of typical observations; implying erratic behaviour is not necessarily related to the rate of decline

    BST2/Tetherin Enhances Entry of Human Cytomegalovirus

    Get PDF
    Interferon-induced BST2/Tetherin prevents budding of vpu-deficient HIV-1 by tethering mature viral particles to the plasma membrane. BST2 also inhibits release of other enveloped viruses including Ebola virus and Kaposi's sarcoma associated herpesvirus (KSHV), indicating that BST2 is a broadly acting antiviral host protein. Unexpectedly however, recovery of human cytomegalovirus (HCMV) from supernatants of BST2-expressing human fibroblasts was increased rather than decreased. Furthermore, BST2 seemed to enhance viral entry into cells since more virion proteins were released into BST2-expressing cells and subsequent viral gene expression was elevated. A significant increase in viral entry was also observed upon induction of endogenous BST2 during differentiation of the pro-monocytic cell line THP-1. Moreover, treatment of primary human monocytes with siRNA to BST2 reduced HCMV infection, suggesting that BST2 facilitates entry of HCMV into cells expressing high levels of BST2 either constitutively or in response to exogenous stimuli. Since BST2 is present in HCMV particles we propose that HCMV entry is enhanced via a reverse-tethering mechanism with BST2 in the viral envelope interacting with BST2 in the target cell membrane. Our data suggest that HCMV not only counteracts the well-established function of BST2 as inhibitor of viral egress but also employs this anti-viral protein to gain entry into BST2-expressing hematopoietic cells, a process that might play a role in hematogenous dissemination of HCMV

    Wage inequality, segregation by skill and the price of capital in an assignment model

    Get PDF
    Some pieces of empirical evidence suggest that in the U.S., over the last few decades, (i) wage inequality between-plants has risen much more than wage inequality within-plants and (ii) there has been an increase in the segregation of workers by skill into separate plants. This paper presents a frictionless assignment model in which these two features can be explained simultaneously as the result of the decline in the relative price of capital. Additional implications of the model regarding the skill premium and the dispersion in labor productivity across plants are also consistent with the empirical evidence. [resumen de autor

    Incidence of Schizophrenia and Other Psychoses in England, 1950–2009: A Systematic Review and Meta-Analyses

    Get PDF
    Background We conducted a systematic review of incidence rates in England over a sixty-year period to determine the extent to which rates varied along accepted (age, sex) and less-accepted epidemiological gradients (ethnicity, migration and place of birth and upbringing, time). Objectives To determine variation in incidence of several psychotic disorders as above. Data Sources Published and grey literature searches (MEDLINE, PSycINFO, EMBASE, CINAHL, ASSIA, HMIC), and identification of unpublished data through bibliographic searches and author communication. Study Eligibility Criteria Published 1950–2009; conducted wholly or partially in England; original data on incidence of non-organic adult-onset psychosis or one or more factor(s) pertaining to incidence. Participants People, 16–64 years, with first -onset psychosis, including non-affective psychoses, schizophrenia, bipolar disorder, psychotic depression and substance-induced psychosis. Study Appraisal and Synthesis Methods Title, abstract and full-text review by two independent raters to identify suitable citations. Data were extracted to a standardized extraction form. Descriptive appraisals of variation in rates, including tables and forest plots, and where suitable, random-effects meta-analyses and meta-regressions to test specific hypotheses; rate heterogeneity was assessed by the I2-statistic. Results 83 citations met inclusion. Pooled incidence of all psychoses (N = 9) was 31.7 per 100,000 person-years (95%CI: 24.6–40.9), 23.2 (95%CI: 18.3–29.5) for non-affective psychoses (N = 8), 15.2 (95%CI: 11.9–19.5) for schizophrenia (N = 15) and 12.4 (95%CI: 9.0–17.1) for affective psychoses (N = 7). This masked rate heterogeneity (I2: 0.54–0.97), possibly explained by socio-environmental factors; our review confirmed (via meta-regression) the typical age-sex interaction in psychosis risk, including secondary peak onset in women after 45 years. Rates of most disorders were elevated in several ethnic minority groups compared with the white (British) population. For example, for schizophrenia: black Caribbean (pooled RR: 5.6; 95%CI: 3.4–9.2; N = 5), black African (pooled RR: 4.7; 95%CI: 3.3–6.8; N = 5) and South Asian groups in England (pooled RR: 2.4; 95%CI: 1.3–4.5; N = 3). We found no evidence to support an overall change in the incidence of psychotic disorder over time, though diagnostic shifts (away from schizophrenia) were reported. Limitations Incidence studies were predominantly cross-sectional, limiting causal inference. Heterogeneity, while evidencing important variation, suggested pooled estimates require interpretation alongside our descriptive systematic results. Conclusions and Implications of Key Findings Incidence of psychotic disorders varied markedly by age, sex, place and migration status/ethnicity. Stable incidence over time, together with a robust socio-environmental epidemiology, provides a platform for developing prediction models for health service planning
    corecore